Proof theory - PDFSEARCH.IO - Document Search Engine

Proof theory
Results: 1637

#	Item
351	June 22, 2009 — Final version for the proceedings of CSL’09 Expanding the realm of systematic proof theory Agata Ciabattoni1 , Lutz Straßburger2 , and Kazushige Terui3 1 Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2009-06-23 06:51:18 Mathematics Sequent calculus Intuitionistic logic Cut-elimination theorem Interpretation Sequent Structural rule Propositional calculus Linear logic Logic Mathematical logic Proof theory
352	Models and termination of proof-reduction in the λΠ-calculus modulo theory Gilles Dowek∗ Abstract We define a notion of model for the λΠ-calculus modulo theory, a notion of superconsistent theory, and prove that pr Add to Reading List Source URL: who.rocq.inria.fr Language: English - Date: 2014-10-09 11:42:35 Mathematical logic Symbol Model theory Function Interpretation Heyting algebra Natural deduction Mathematics Logic Metalogic
353	FACULTY OF ARTS DEPARTMENT OF PHILOSOPHY PHIL — “Topics in Logic: Applications of Logic in Philosophy” (Proof Theory) Add to Reading List Source URL: www.ucalgary.ca Language: English - Date: 2014-07-27 06:42:54 Mathematical logic Natural deduction Cut-elimination theorem Formal proof Mathematical proof Philosophy of mathematics Sequent calculus Sequent Intuitionistic logic Logic Proof theory Mathematics
354	Microsoft Word - GroupAgency11Jan.doc Add to Reading List Source URL: personal.lse.ac.uk Language: English - Date: 2006-01-11 12:56:28 Metaphysics Proof theory Supervenience Discursive dilemma Categorical proposition Judgment Logic Physicalism Philosophy
355	On Proof Nets for Multiplicative Linear Logic with Units Lutz Straßburger and Fran¸cois Lamarche INRIA-Lorraine, Projet Calligramme 615, rue du Jardin Botanique — 54602 Villers-l`es-Nancy — France Lutz.Strassburger Add to Reading List Source URL: www.loria.fr Language: English - Date: 2004-11-15 14:07:24 Deduction Propositional calculus Natural deduction Cut-elimination theorem Entailment Sequent calculus Linear logic Curry–Howard correspondence Logic Mathematical logic Proof theory
356	May 15, 2014 — Final version for proceedings of CSL-LICS 2014, extended with a 2-page appendix Symmetric Normalisation for Intuitionistic Logic Nicolas Guenot Lutz Straßburger Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2014-05-20 13:23:34 Mathematics Natural deduction Cut-elimination theorem Propositional calculus Sequent calculus Combinatory logic Linear logic Closed and exact differential forms Admissible rule Mathematical logic Logic Proof theory
357	AG8 SUBATOMIC LOGIC Alessio Guglielmi (TU Dresdenupdated on Add to Reading List Source URL: cs.bath.ac.uk Language: English - Date: 2007-12-18 10:38:04 Non-classical logic Boolean algebra Propositional calculus Substructural logic Linear logic Structural rule Modal logic Cut-elimination theorem Negation Logic Mathematical logic Proof theory
358	Normalization by Evaluation in the Delay Monad A Case Study for Coinduction via Copatterns and Sized Types Andreas Abel James Chapman Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2014-04-10 20:31:05 Lambda calculus Normalisation by evaluation Proof theory
359	TERMS AND CONDITIONS (Website) This Website is the property of Sigma Property Hunt Limited, hereinafter referred to as Sigma”. Welcome to the Sigma website and terms and conditions for use. These terms and conditions a Add to Reading List Source URL: www.sigmapropertyhunt.com Language: English - Date: 2014-03-26 12:37:40 Sequent Copyright Internet privacy Six Sigma Data Information Proof theory
360	Published in Proc. of Conference on Automated Deduction, 2002, pp. 47–62. A Gradual Approach to a More Trustworthy, yet Scalable, Proof-Carrying Code Robert R. Schneck1 and George C. Necula2,? 1 Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2010-10-29 12:59:42 Deduction Formal methods Model theory Proof-carrying code Theorem Type safety IP Soundness Logic Mathematics Proof theory

UPDATE